program correctness

program correctness

美 　英

• un.程序正确性
• 网络程式正确性

英汉解释

un.

1. 程序正确性

例句

Side effects complicate the math required to prove program correctness.

副作用把验证程序正确的数学问题复杂化。

Model and Algorithm Designing of the Proof of Program Correctness Based on XML Syntax Trees

基于语法树的程序正确性验证模型及算法设计

A Developing Method of Programs Based on the Proof Theoryof Program Correctness

一种基于程序正确性证明理论的程序开发方法